Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
981	1 THE APPLICATION OF NEURO-FUZZY METHODOLOGY TO MAINTENANCE OF BUILDINGS J.J. Mc Duling 1, C.E. Cloete 2, E. Horak 3 1 Add to Reading List Source URL: www.icoste.org Language: English - Date: 2011-03-03 23:47:18 Science Markov models Logic in computer science Markov processes Fuzzy logic Markov chain Fuzzy control system Neuro-fuzzy Reliability engineering Statistics Artificial intelligence Logic
982	Reasoning About the Unknown in Static Analysis Isil Dillig Thomas Dillig Alex Aiken {isil, tdillig, aiken}@cs.stanford.edu Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-01-25 02:22:18 Logic in computer science Boolean algebra Formal methods Function Constructible universe Net Boolean satisfiability problem Canonical form Normal distribution Mathematics Mathematical logic Theoretical computer science
983	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 5 Complexity of Problems on Graphs Represented as OBDDs Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-12 16:14:35 Boolean algebra Complexity classes Logic in computer science Binary decision diagram Model checking Boolean function Boolean circuit Circuit FO Theoretical computer science Mathematics Computational complexity theory
984	A Closer Look at Aspect Interference and Cooperation Cynthia Disenfeld Shmuel Katz Department of Computer Science Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-01-24 04:02:45 Aspect-oriented programming Logic in computer science Formal methods Philosophical logic Grammatical aspect Economic model AspectJ Formal verification Modal logic Software development Software Aspect-oriented software development
985	Program Checking With Less Hassle Julian Tschannen1 , Carlo A. Furia1 , Martin Nordio1 , and Bertrand Meyer1,2 1 2 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-08-05 04:58:16 Logic in computer science Formal methods Compiler optimizations Program logic Inline expansion Subroutines Predicate transformer semantics Postcondition Eiffel Software engineering Theoretical computer science Computing
986	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Vilhelm Sjöberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:21 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematics
987	SCIAD - Self-Learning Industrial Control Systems Through Process Data Achievements - Direct application to industry problems; • Hierarchical genetic algorithm (HGA) for learning a T-S fuzzy model for identification of Add to Reading List Source URL: www.isr.uc.pt Language: English - Date: 2014-09-03 10:05:22 Artificial intelligence Control engineering Fuzzy logic Logic in computer science Control theory Fuzzy control system Control system Soft sensor Neural network Science Logic Cybernetics
988	Province of British Columbia User Manual For The British Columbia TRIM HoL (Height-of-Land) Database (Version 1) Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2001-09-06 18:12:32 Logic in computer science TRIM Computing Database Geilo Airport Dagali Trimming Buskerud Counties of Norway HOL
989	An overview of recent algorithms for AI planning Jussi Rintanen and J¨org Hoffmann Albert-Ludwigs-Universit¨at Freiburg, Institut f¨ur Informatik Georges-K¨ohler-Allee, 79110 Freiburg im Breisgau Germany Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-09 13:07:17 Logic in computer science Constraint programming Year of birth missing Heuristics Graphplan Action selection Planner Drew McDermott Logic programming Artificial intelligence Automated planning and scheduling Theoretical computer science
990	Type Theory & Functional Programming Simon Thompson Computing Laboratory, University of Kent March 1999 Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:49 Theoretical computer science Logic in computer science Lambda calculus Proof theory Dependently typed programming Curry–Howard correspondence Intuitionistic type theory Combinatory logic Natural deduction Mathematics Mathematical logic Type theory